PACKAGE DivRest IS
   PROCEDURE DivRestBis (X: IN OUT Integer; Y: IN Integer; D: OUT Integer);
   PROCEDURE DivRestLin (X, Y: IN OUT Integer);
END DivRest;
